// no statements:
void main()
{
}
